1. Model-checking based data retrieval : an application to semistructured and temporal data

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Query languages )Computer science(,، Information storage and retrieval systems

رده :
QA
76
.
L28
Vol
.
2917

2. checking based data retrieval :-Model

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Query languages (Computer science) ; Information storage and retrieval systems ;